What's inside the Box? Prospects and Limitations of Semantic Verification in Process Modeling
نویسندگان
چکیده
Business process models support the optimization, reengineering and implementation of IT applications in administration and economics. In this area, models are important to manage complexity. In order to realize their full potential, the correctness of business process models is of significant importance. The paper applies an ontology-driven approach that aims at supporting semantic verification of process models. The approach is based on the formalization of the semantics of individual model elements by annotating them with concepts of a formal ontology. In order to ensure semantic correctness, semantic verification rules are introduced and it is demonstrated how machine reasoning provides for the automation of verification tasks. The approach is demonstrated using real-life process models taken from a capital city.
منابع مشابه
Simulation and Model Validation of Batch PHB Production Process Using Ralstonia eutropha
Mathematical modeling and simulation of microbial Polyhydroxybutyrate (PHB) production process is beneficial for optimization, design, and control purposes. In this study a batch model developed by Mulchandani et al., [1] was used to simulate the process in MATLAB environment. It was revealed that the kinetic model parameters were estimated off the optimal or at a local optimal point. There...
متن کاملEgypt and Democracy Prospects against Facts after Mubarak
The principal objective of this paper is to describe and analyze the process of democratization in the Egypt after Mubarak regime. The article continues to give an overview over the current situation inside Egypt after the revolution and collects some evidence for a changed relationship between democracy and stability inside the country. The Egyptian revolution created a situation of transition...
متن کاملChallenges and Prospects for Integrating the Assessment of Health Impacts in the Licensing Process of Large Capital Project in Brazil
Brazil was one of the first countries in Latin America to institutionalize a National Environmental Policy in 1981, including the environmental impact assessment (EIA) process of economic activities with anticipated impacts on the environment. Today, EIA practice in Brazil comes with a number of limitations: it is constrained by its environmental advocacy role; application is strongly oriented ...
متن کاملAirflow inside tunnel boring machine: A numerical study and an experimental verification
Knowledge of the airflow distribution inside a Tunnel Boring Machine (TBM) can create a safe working environment for workers and machinery. The airflow quality and the related mass flow rate in the ventilation system should be sufficient to dilute gases and remove dust inside the tunnel. In this work, airflow distribution in the single shield TBM tunnel was studied using computational fluid dyn...
متن کاملWhat's Inside the Box? An Open Student Modeling Approach in a Museum Context
Adaptive learning environments and technology-rich assessments capture evidence of students’ skills, knowledge, and other attributes and use it to adapt their interaction or support assessment claims. Data captured to support assessment claims or implement adaptive behavior can include responses to predefined questions and process data. However, students are not always aware of the type of data...
متن کامل